Summary · 1
집합
부분집합 $A\subset B$, 부분집합의 개수 $2^n$, 합·교·여·차집합
드모르간: $(A\cup B)^c=A^c\cap B^c$, $\;(A\cap B)^c=A^c\cup B^c$, $\;n(A\cup B)=n(A)+n(B)-n(A\cap B)$
Summary · 2
명제
역·이·대우
원명제 ≡ 대우, 역 ≡ 이 (참거짓 일치)
충분·필요
$P\subset Q$ → $p$ 충분, $q$ 필요. $P=Q$ → 필요충분
증명
대우증명법 · 귀류법 · 절대부등식 $(a-b)^2\ge0$
Self-check · 스스로 점검
나는 할 수 있는가?
논리적으로 표현하고 증명한다
집합으로 표현하고, 명제로 추론하며, 증명으로 확정한다.